import greenfoot.*;  // (World, Actor, GreenfootImage, Greenfoot and MouseInfo)

/**
 * clase que muetra los records cunado se le da click
 *@JUAN FRANCISCO ARIAS BETANCOURT
 */
public class Records extends Botones
{
    public Records(Mundo mundo)
    {
        Mun = mundo;
    }

    public void act() 
    {
        if(Greenfoot.mouseClicked(this))
            Mun.records();
    }   
}
